Alternate implementation of GWT History that doesn't encode/decode the history token (hash)