option(3tk) on Linux

The text 3fdf438ce139, as Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

Add/retrieve window options to/from the option database