add patrick to dev credits

He's earned it, I think.