New repository for PHP-GTK

Although the main PHP-GTK site at http://gtk.php.net/ does not (yet ?) make mention of it, development of PHP-GTK is still active, but is using a more recent infrastructure, having moved to Github like many other projects.