#245 ElimLocRefExprs and linearization naming improvements

ElimLocRefExpr:

• Introduced generalized naming functions for ElimLocRefExpr.
• Improved renaming warnings messages.
• Small code improvement to reuse 'oldName' variables.
• absVarNamesMap becomes lpVarToAbsAutNameMap:
  • Conceptual improvement:
  • It was some kind of weird name with some parts left out.
  • It was difficult to understand. New mapping has clear semantics.
• Backward compatible:
  • Was only used by linearization transformation.
  • The way it was used by linearization matches the new semantics.
  • No changes needed to tests as is backward compatible.
• New defaults for naming location pointers + enums.
  • Affects the CIF to CIF transformation itself.
  • Affects CIF to Supremica, which uses the default as well.
• JavaDoc improvement.

LinearizeBase:

• Improved/simpler name for location pointer enums.
• Prevent LP var temp name renames using name highly unlikely to clash.

Other:

• Removed empty lines at end of JavaDoc comments.

Closes #245 (closed)