Add live page reloading feature #1326.

This allows to reload automatically your browser when you modify contents.
Usage:
to start servers: "make devserver2_start PORT=8000 PORT2=9000"
to stop servers: "make devserver2_stop"
PORT is httpd port (you can see your page on http://localhost:PORT), PORT2 is websocket port to send a reload command to your browser.