Packaging (Debian, MacPorts, ...) for CVC4