Add automated checking for OID collision and unregistered OIDs

Adds a new configuration option, "oid-git", which specifies the
directory containing a git repository that serves as database
for OIDs.

The pushpatches.py tool has been extended to check for OID collision
and unregistered OIDs.