Debian packaging for jmock2