Adding Gregor Müllegger to the CONTRIBUTORS file.