Openid

Turning mediawiki into an openid provider.

• use the Openid extension for mediawiki (http://www.mediawiki.org/wiki/Extension:OpenID)
• install Ubuntu package php-openid (php5-gmp and php5-curl added as deps)