Set version to 2.0
Upgrade Gibbon to recent version.