pipeline and staging environment

Important changes:

1. packages/cli: the publish command requires a --version option to specify the version interactively instead of manually editing a file.

2. packages/app: editing MiscController.java is no longer needed. Copying ok to resources/static/misc/ok-client/$OK_VERSION_NUMBER (and removing .../ok-client/0.0.0) is sufficient.

   Note that we should not commit resources/static/misc/ok-client/$OK_VERSION_NUMBER anymore, just keep .../ok-client/0.0.0.

3. invoke release: will automatically build ok and copy ok to resources of app.

4. invoke release: version can be omitted, will be automatically generated from git commit information.

   Showcase:

   

5. invoke release: will push the app and web images to the latest tag too.