Idris 0.9.15.1
idris: add head URL
idris: add 0.9.15.1 bottle.