Function: Info-bookmark-jump

This implements the `handler' function interface for the record
type returned by `Info-bookmark-make-record', which see.