skipagent: RDTCS 関連の関数を追加

ライブラリー rdtsc-1.3.0.0 の rdtsc は戻り値が Int64 なので、Integer 型を返すように修正。
また、rdtscを用いて時間測定する場合に、CPUのクロック周波数を拠り所とするので、それを得る必要があるので、
そのような関数も追加。

これに伴いライブラリー rdtsc-1.3.0.0 が必要となるので、その事を README.md に追記。
また、 TVar を使うために stm-2.4.2 を使う予定なので、それもついでに追記。