Add simple runtime statistics as JSON via /gcstats route

- requires base >= 4.5
- server has to be started with +RTS -T
- minor refactoring in Server
- resolves #12