Check color specials

<- Option
color specials の push/pop のスタックがページ独立になっているかどうかチェックします。

ページ独立性が保たれていない場合、それを修正するプログラム dvispc.exe が dviout.exe のフォルダにあれば、DVIファイルを修正するかどうか選択できます。dvispc.exe は、そのほか color specialsbackground や、tpic specialspn, sh などがあれば、それらもページ独立になるように修正します。