Isaiah Lemmon

Hi, I just wanted to check if this was still under consideration? Cheers

I graduated and no longer work with @pfaendtner, but I'm happy to do the changes @GiovanniBussi requested. I also rebased this onto the tip of master to avoid any conflicts,...