Add Martin Michlmayr to THANKS.