repo.pp: Switch default release to Havana

The Havana release has dropped, and all supported repos include it. No
reason to stick to Grizzly packages any further.

Change-Id: I50833a977f0e6892db22a6d0e93b89f60e2fe0a0