A mass update to clean up calls to k.setLabelBlue & k.getArg:
- k.setLabelBlue now always protects its argument.  This makes the prefix argument to k.getArg redundant.  It is now deprecated.
- Removed prefix arg to all calls to k.getArg. Not needed now that there is better convention for k.setLabelBlue.
- Removed protect argument from k.setLabelBlue. Some code now uses k.extendLabel to mix protect and unprotected parts of the label.

Leo build: 20140819051107