Allow compile-time disabling of statically defined timers

Add an option to the configure script to read a file specifying which
staticaly defined timers (BEGIN_TIMER with a TR_... parameter) should
be enabled or disabled at compile time.