Packaging for codespeak-lib