privat/nit — pull request #356 by privat (2014-03-21 13:50:58+00:00)
Title: Toolcontext process options

improve `ToolContext::process_options`.
This factorizes code and reduces the number of buggy corner-case