GraceDB servers will soon have a versioned API, so this commit
allows the user to optionally select which API version they want
to talk to.  There is also a safeguard which checks whether the
specified API version is legitimate and available on the server
they are using.