option(3tk) on Linux

The text 3d72fb24dbb0, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

Add/retrieve window options to/from the option database

option(3tk) on Linux now