server.py: Add the rollup feature
server.py: Detect the HEAD changes within the same repository
server.py: Prettify the queue page