https://bitbucket.org/fenics-project/instant/downloads/instant-2016.1.0.tar.gz#egg=instant-2016.1.0
