adds devote/HTML5-History-API.git as submodule (latest version)