Update AUTHORS.txt

Added @lukasmartinelli to AUTHORS.