Add Benjamin Toueg to authors #238