(DAL) Added option to use sat-solver on guards

Using the satisfiability solver on the action's guards allows us to
reduce the number of false positives that are produced when analysing
actors for non-deterministic (deadlock-causing) behaviour.
Merge pull request #95 from JamesGuthrie/check-guards

(DAL) Added option to use sat-solver on guards
Update README.md
(util) Simplify EcoreHelper.getContainerOfType()

Updated from last changes on original method (from Xtext fw)
The method is not recursive anymore
(frontend-cli) Set log4j default appender
(frontend-cli) Remove useless refresh() calls
(workspace-cli) Wait for end of running jobs before closing application
(frontend-cli) Update log message
(util) Add specific method to resolve paths starting with '~' char
(orcc-lib) Fix indent.
(orcc-lib) Fix lookup table used to call the weighted prediction of OpenHEVC.
(gui) Better management of objects deletion

We don't try anymore to change the MultiDeleteInfo automatically generated
Doing this ensure only 1 pop-up dialog window will prompt, even for
deleting many objects (instances and/or ports) in diagram.

Connections related to these objects to delete are still deleted properly
(llvm) Template class uses options map
(llvm) Use correct default fifo size for connections
(gui) Always display network icon in network editor tab
(gui) Fix issues with objects deletion

Connections to instance / port were always deleted, even after selecting
"No" at popup windows asking for confirmation
(backends) Remove a non-working backend, for next release
(gui) Soften Instance / Port name rules

 - 1 letter names are allowed
 - do not return error when direct edit the first name of the object
(generator) Do not check for already built resources

This prevent strange bug when files depending on renamed files are
cleaned by the Builder after they have been generated
(actor interpreter) signed overflow/underflow warning message printed in
debug mode; (simulator) set the orcc log level after that the logger
handler has ben attached to the console (otherwise settings are not
taken into account).