Name change in AUTHORS

I have changed my username on Github.