(Binary Analysis) Added method to get registers for an interpretation
(Binary Analysis) Simplification rules for symbolic add w/negation

Expressions like:
  (add (negate v1) (negate v2) v1 v2 4)

Are simplified to
  4

This makes things like stack deltas work better.
(Build) Fixed a warning in a project makefile
(Binary Analysis) InstructionMap caching; function call detection

* The SgAsmInterpretation caches an InstructionMap for the
  SgAsmInstruction nodes that exist in the subtree rooted
  at the interpretation.

* Improvements to the analysis that looks for inter-function
  CFG edges that follow x86 CALL convention regardless of whether
  the CALL instruction was actually used.  For instance, it can
  detect that this is a function call:

      push L1
      jmp function
  L1: ...
(Binary Analysis) Fixed semantics for the x86 BT instruction
(Binary Analysis) Fixed semantic filter for testing

The renumbering map was not cleared when a new section of the
output was reached. This isn't normally a problem except when
using a semantic layer that resets the variable counter to zero
whenever a new instance is instantiated.
(Binary Analysis) Fixed a typo in a warning message
(Binary Analysis) Added test case for function call detection
(Binary Analysis) Cleaned up some warnings from GCC