Move properties to git

With this, the properties that are used for building agents will now come from the property-db repo, instead of the old google code repo. Also, we have now fixed all but one property which had trouble parsing.

@yzhang90, @seriousamlqz Please review