ZKPushState：用純 Java 處理 History API 的 ZK addon

簡介

HTML5 的規格中引入了新的 History API：

• history 可以呼叫 pushState() 把一些資料（稱為 state）設定進目前的 session（單純的名詞，不是 HTTP 的那個 session）， 並且可以更改目前的 URL（如果有給值的話）
• 當 history 有變動，browser 會發出一個 onpopstate event，在 window.onpopstate 可以接收到。