Switch to using PDO instead of MySQL extension for PHP. Fixes #1.

MySQL is deprecated as of PHP 5.5.0