Add clumsy, but working HTTP exception handling: output exceptions as JSON