Replace library build with release download #4
Description
The Docker build for Heroku takes a lot of time, mainly due to the building of CUDD and MONA. Fix that by replacing it with Release download from GitHub. That requires forking those projects and publishing the GH releases.