This commit removes the shared git repository in the root directory:
instead, a 1-depth clone of the branch is done at the start of each
build, so the source code is guaranteed to be fresh.

This doesn't affect build times so much, because only the latest commit
is cloned, not the whole history.

- Fixed a few errors of the previous commit
- Restyled the mobile view
- Moved the icons to dedicated svg files
- Added automatic reloading of the index when deploying

The separated jobs processor should ensure no more crashes stopping
managetests, and the new frontends provides more information.

This allows different branches to use different commands to build,
install and run. Branches directory version changed to "2".

This new structure allows parallel builds, is versioned, and also is
cleaner, with every branch in their own directory.

Fixes #8

This commit allows to fetch updates also for pinned branches, separating new
commit hooks from merge request hooks. This also fixes some old weird
behaviors.