idris 0.9.15.1
idris: add 0.9.15.1 bottle.