Infer the GHC flags from the cabal file (now works with sandboxes)
Add the latest&finest version of the paper, the one for our homepages