Renaming a rosegit config file
(Support) Replaced Option with boost::optional

* replaced Map<T>.getOne() with get_one()
* replaced Map<T>.getOrElse() with get_value_or()
* added tests for Map<T>
(Binary Analysis) Added TraceSemantics

Wrapping any RiscOperators inside a TraceSemantics::RiscOperators will
cause tracing info to be emitted for nearly any RISC operation.

See doxygen documentation for the BinaryAnalysis::InstructionSemantics::TraceSemantics
namespace.
(Support) Fixed some warnings from stringification of enums
(Documentation) Fixed typo in non-executed code
(Binary Analysis) Comments allowed on symbolic expressions

* Comments can be added to any symbolic expression, even after
  that expression has been constructed.  This is possible since
  comments never contribute to any calculation, including hash
  values.

* When RegisterStateGeneric instantiates an initial value for a
  register, it gives it a comment indicative of being an initial
  value for a register.  E.g., reading from EAX will create a
  comment "eax_0".

* When printing symbolic values the default is to print the
  comment in place of the variable name.  This can be changed
  by passing a PrintHelper down through the semantic layers.
(Binary Analysis) Updated test answers for previous commit