package dose3

add a package id to the map

given a package id return a sat solver variable raise Not_found if the package id is not known

given a sat solver variable return a package id