Realtime notifications of new articles via web sockets

* use WebSockets to allow server to push new article numbers to client
* url structure uses #! notation so that all page bodies loaded by Ajax
* improved speed as we don't have to fetch article stats with every request