core: Add "add" operation for the derived set

[ankohuu]

This commit adds "add" operation for the derived set using the set of allocations and complete the help information.

To add some allocation calculated set S' to the derived set, add the following to any command that calculates S': /setOperation add

The derived set is then referred to as "derived". Closes #17

[vmwclabot]

@ankohuu, you must sign our contributor license agreement before your changes are merged. Click here to sign the agreement. If you are a VMware employee, read this for further instruction.