CI script#16

tzaeschke merged 3 commits intomasternetsec-ethz/scion-java-multiping:masterfrom

fix/16-buildnetsec-ethz/scion-java-multiping:fix/16-buildCopy head branch name to clipboard