[server] Kernel ast: changes MarkerKind and adds MarkerVar to the markers array.

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.