Turn README into a Literate Haskell program

@fujimura I removed this, as it is the same as the `README`.