Merge pull request #148 from ninneman/devel

Remove the disused prototype directory.