Idris 0.9.15.1
idris: add head URL
idris: improve testing style.

I.e., incorporate suggestions from https://github.com/Homebrew/homebrew/pull/33912#discussion_r19846734.
idris: add 0.9.15.1 bottle.