Changes to add "copy" option to copy config for one platform to another

Andreas,

Attached is a patch for the inherit stuff we discussed. I've called the option "copy" instead of "inherit" since I think that reflects the functionality better.

For reasons I don't understand, the file diffs show not only the few lines I changed but also shows the lines you changed (e.g. puts to critcl::print) as having been added by me. I had pulled your latest changes before making my changes so I would have expected only my specific changes to show. Clearly, I don't grok git completely yet.

I have confirmed though that the file content is exactly my changes made after your changes from yesterday.

Let me know if there are issues.

/Ashok