Get information about PROOF server
Value
A list with fields:
branch
(character): git branch of APIcommit_sha
(character): SHA of the git commit of the APIshort_commit_sha
(character): the first eight characters ofcommit_sha
commit_message
(character): commit message of API's most recent committag
(character): tag of most recent commit/release version