Fix #84.

Added configuration variable ask_for_tool_removal in soctrace.conf file,
indicating whether the dialog for tool and results removal shall be
shown or not. The default value is false.