Add author Gideon Thomas to AUTHORS