dev-lang/idris: bump up to 0.9.15.1

Package-Manager: portage-2.2.14