Let SVN be less verbose

Ghost User
2018-08-30T09:47:31+02:00

The SVN fetching generates many unnecessary lines; so many that CI tools can clip the log (https://travis-ci.org/clean-cloogle/cloogle.org/builds/422202217 - see at the bottom)!

I also changed to use an SVN `export` instead of `checkout` (#26).