server: use a bare git repository for efficiency

If the repo is not bare, then files must constantly
be checked out into the working directory.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>