Revise Docker-based CI to build appmgr

No match.