Renamed 'doc/' to 'docs/, changed default repositories path to gitolite debian default'