Merge branch 'ci_push' into 'master'

Push artefact to school.picasoft.net / update README

See merge request picasoft/apis/h19/init/Git!3
2 jobs for master in 1 minute (queued for 2 seconds)