support for json encoded request from github; some more debugging options; cleanup the output html a bit (still very ugly though)