Update credits

Give credits to Anthony25 for hist great work at adapting the extension to
work on gnome shell 3.10.