A custom vagrant/ansible environment to build Idris