Use LANGUAGE pragma instead of cabal options for language extensions
Assume config/sproxy.yml if --config is not specified
Add documentation for development setup