More work on new grid-type boinc. #3540

* BoincAuthenticator attribute
* Support talking to multiple Boinc servers
* Updates of gahp protocol
* Add batch-management code, including submission and lease renewal