Added class ServerChecker, Boxcar push support and HTML output