Add fasta benchmark

I have reimplemented the fasta benchmark from the [computer language benchmarks game](http://benchmarksgame.alioth.debian.org/) in Idris. The implementation is fairly closely based on the Haskell version.

I hope this is wanted, I remember seeing on the mailing list at some point in time that more benchmarks were desired.