Fix branch label not correct on CI builds.

Because of the hackball that CI runners are, branch names are not correctly set (they checkout commit hashes, no branches). Therefore, I proudly present an ci.properties file that contains this information, fixing the branch name in the footer.