AUTHORS,CONTRIBUTORS: add Eric Butler