update for idris 1.0

[clayrat]

No description provided.

[clayrat]

Travis scripts also seem to need updating

[ivanperez-keera]

As of version 1.2.0, this almost works. See below:

./Probability/Display.idr:28:12-29:52:
   |
28 | fpow f p = if p >= 0 then pow f (cast p)
   |            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ...
When checking right hand side of fpow with expected type
        Double

Can't disambiguate name: Prelude.Doubles.pow, Prelude.pow