Specified a generic const_arguments method in the contracts module which checks constness on the specified arguments only if they are cloneable, where cloneability is defined as the ability to clone oneself without throwing an exception, and giving a result which compares equal to the original.
Merge pull request #15 from isupeene/const_arguments

Specified a generic const_arguments method in the contracts module.