precommit.sh: tidy, print space before OK

It seems to be more visually pleasing to put a space between the
progress dots and the final 'OK', let's do that.

Test Plan:
$ ./precommit.sh
Arcyd: Enforce config name conventions

The naming convention for config files is advertised in the help for
functions but hasn't been enforced, until now.

Especially interesting is the common '.git' in the repo url, which is
invalid under the scheme, in later work we can update the add
subcommands to remove .git from the 'guessed' config names for
convenience.

Test Plan:
$ ./precommit.sh
$ ./testbed/arcyd/test_shell.sh
    Try adding various invalid names
    $ cd ../arcyd
    $ arcyd add-repo localhost fs1 dev --name blah.git
    $ arcyd add-repo localhost fs1 dev --name blah-blah
    $ arcyd add-repo localhost fs1 dev --name Blah-Blah
    $ cp -R ../dev ../dev3.git
    $ arcyd add-repo localhost fs1 dev3.git
Remove '.git' from auto-guessed repo names

It's a bit annoying to have to fully-specify names for repos which have
'.git' endings.  Update the guessing logic to strip them off.

Test Plan:
    $ ./precommit.sh
    $ ./testbed/arcyd/test_shell.sh
        Try adding a repo with '.git' in the url
        $ cd ../arcyd
        $ cp -R ../dev ../dev3.git
        $ arcyd add-repo localhost fs1 dev3.git