update idea-ultimate to 12.1.5
Merge pull request #1109 from jTux/master

update idea-ultimate to 12.1.5
update mirage to working url

not ideal (i.e. developer site or something) but I couldn't find
anything else at the moment

refs #1110
somewhere along the way we lost hdiutil accepting dmg agreements

should take care of #1105
also refs #720
bump version to v0.17.2
whoops; input needs to be enumerable
change opera-next to specific release

removes inline web request for every class-load

refs #1111 and #911
bump version to v0.17.3
update changelog with new releases