Add a few verifications for command line options.
Remove comments generated by cabal.
Add readme file.