provision/docker: prepend "app-" to the app image name

Still to come: a migration script and the removal of the restriction in
the app package.

Related to #712.
app: remove the restriction on app and platform names being the same

Related to #712.