Improvements to external process tool (ProcessExecutor) and improved
documentation.