For the record, Google Authenticator has always been open source and is based on open HOTP and TOTP standards. You could always add arbitrary accounts to the mobile app using the key URI format:
https://code.google.com/p/google-authenticator/wiki/KeyUriFo...