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_shacommit_message(character): commit message of API's most recent committag(character): tag of most recent commit/release version