updated cwebsocket to latest version. moved websocket engine from vert.x to jetty. begin working on scripts to compile custom raspberry pi 3.10 kernel with PPS and CAN support