Open sourcing

Numerous changes to get CurryProxy ready for its open source life.