option(3tk) on Linux

The text 34ec17ea23db, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Add/retrieve window options to/from the option database

option(3tk) on Linux now