Changes code push to work with POST

This commit uses a regular POST instead of websockets to submit code to
all connected clients.