Kill bot process when IRC connection has lost
* Make the media query more loose
* Fix log pagination with time
* Update LangDev SSO hostname
Merge branch 'master' of github.com:langdev/log.langdev.org