Migrating from Tampermonkey to Violentmonkey

TampermonkeyからViolentmonkeyに移行した。

使い勝手の上での不満はそんなになかったが、最近Tampermonkeyのdashboardを開くとクラッシュすることがMacやLinuxで頻発し、微妙にうざいことがよくあった。

Tampermonkeyのスクリプトがほぼそのまま使えたのはたいへん助かる。（唯一、GM.setClipboardを使用していたスクリプトをGM_setClipboardに書き換えなければいけなかった。）