With PHP 5.5 the mysql extension has been deprecated

This patch migrates mysql to mysqli. Fix https://github.com/andig/videodb/issues/30.