Update docs with CI info, remove redundant docs, git-workflow (Close #862, #1009, #1105)#1110

jeffriley merged 9 commits intodevTeamCOMPAS/COMPAS:devfrom

update_docs_with_git_and_ci_infoTeamCOMPAS/COMPAS:update_docs_with_git_and_ci_infoCopy head branch name to clipboard