This is needed for the new extprograms plugin.

lib-sieve: optimized compilation of tests that yield constant results (i.e. known at compile tme), such as true and false.
If the result of a test is known at compile time, it is optimized away. If an if-command depends on an entirely constant test, it is optimized away as well,
causing only the 'true' sub-block to be compiled.

- Changed operand read functions to prove exec status return codes in stead of boolean.
- Restructured optional-operand, stringlist and string-match APIs to provide execution status (error code) upon failure.
- Corruption errors are only produced when the binary is actually corrupt. Normal failures should never cause a recompile attempt anymore.
- Simplified optional-operand API.
- Cleaned up test command implementations that use the string-match API.

Working towards improving the handling of currupt binaries: defined multiple exit codes for execution functions and defined trace macro for reporting binary corruptions.

Implemented support for overriding default argument implementations of number, string and string-list.