taskbrowser: install signal handler for SIGINT and disabled signal handling in readline

Signed-off-by: Johannes Meyer <johannes@intermodalics.eu>
taskbrowser: SIGTERM also terminates the application cleanly
Merge remote-tracking branch 'origin/master' into taskbrowser-signals
Merge branch 'master' of https://github.com/orocos-toolchain/ocl into taskbrowser-signals