Add deployment to CI

Adds deployment job which merges devel into master on a successful nightly CI run. Adds deployment job which tags and releases master when manually triggered, uploading packages to the package registry. Only runs nightly CI when successful devel pipeline and new commits are present.

For demo, see devel->master pipeline, master pipeline, and this generated release page.

Closes #93 (closed)