Add @pbacterio and his changes to AUTHORS, HISTORY.