Adds Robin Ridler to AUTHORS