Restores CI by dropping pkgmgr from the dev Dockerfile (entry.sh now make installs straight from INFINITO_SRC_DIR) and bumping the pkgmgr role pin to v1.15.2, which re-registers the infinito alias.
make install
infinito
