Add github names to AUTHORS