option(3tk) on Linux

The text 2e7b0b08f3c3, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

Add/retrieve window options to/from the option database

option(3tk) on Linux now