adapt appveyor to the latest changes in Java examples

[mc] Fix some XBT_DEBUG

[mc] Remove useless comment

[mc] Add LivenessChecker::purgeVisitedPairs() method

[mc] Simplify MC_automaton_evaluate_label()

[mc] Use shared_ptr for Pair

[mc] Restrict the scope of local variables in LivenessChecker

[mc] Slay some nested-if-statements-from-hell

[mc] Remove VisitedPair::acceptance_pair

[mc] Type some boolean variable as such

[mc] Remove the _sg_mc_liveness flag

It was not used anymore.

[mc] Use the symbolic values for the xbt_automaton_exp_label::type enum

[mc] No more global variables

[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions

[mc] Move global variables as fields of LivenessChecker

[mc] Use std::shared_ptr for VisitedPair in LivenessChecker

[mc] Use std::list for LivenessChecker::visited_pairs

[mc] Move visited_pairs as a static field of LivenessChecker

[mc] Use std::shared_ptr for State in LivenessChecker

This gets rid of some boring code for managing the lifetime of the
State.

[mc] Use std::list for LivenessChecker::acceptance_pairs

[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker

[mc] Fix #includes in LivenessChecker

[mc] Scope the global variables in LivenessChecker

rename to match C and Java version

mv example from cloud to energy
  + to match C organization

redesign this test to match the C version
move it into the process package

kill a redudant example
  + this is a plain old master/slave. Can't find what is specific here
  + app/masterworker does exactly the same

create an app package
  + includes bittorrent and masterworker

make an io package
improve readibility and compactness of cmake file

package energy
  + first test: consumption
  + should match the C version but functions are not part of the
    bindings (yet?)

and now a dht package + cmake factoring

should fix build

define a process package in examples/java
  + comprises kill, migration, and suspend
Also found a way to factor java cmake \o/\o/\o/

full redesign of this example
 + (almost) match the behavior of examples/msg/process-kill now

get rid of dumb deployment

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

rework the most basic java example
  + no more Forwarder
  + no more Finalize Task
  + no more Slavery \o/

[mc] Remove superflous static function

[mc] -Wredundant-move

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Massive cleanup in masterslave
  broke one test: (in masterslave/masterslave_cpu_ti.tesh,
  case w/ TI and w/o crosstraffic).
  Comment it for now at examples/msg/CMakeLists.txt:106

[mc] Remove Snapshot::is_important_snapshot()

It was only used in order to manage the lifetime of snapshot instances.

[mc] Use shared_ptr for Snapshot

[mc] Making a State a class

[mc] LivenessChecker stack

[mc] Demangle C++ names when unwinding the stack with abi::__cxa_demangle

[mc] Dump the current trace when the model-checked crashes

[mc] Let the Checker give us the current trace

Now we don't have any dependency on mc_stack outside of the Checkers
and we can make it a member of Checker and a C++ container.

[mc] Let the Checker give us the current record trace

This could probably be infered from the interaction with the Session
at some point in the future but we're not there yet.

[mc] Move VisitedPair alongside with LivenessChecker

[mc] Move some snapshot_compare() overload with their respective checker

cleanups

factoring

forgot to commit that ...

end of splitting examples/msg/tracing

make this test test something
and move it to its own dir

make this test test something
and move it to its own dir

make this test test something
and move it to its own dir

reorder to have ADD_TESH grouped at the end of file

remove an unused and non-working lua script

lua: rename the platf module to 'engine' to align on s4u

appveyor: don't run removed tesh files

third attempt to fix the build without graphviz

merge my change and the one of Augustin

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

second try to fix the build without graphviz

fix build without graphviz

Fix build without graphviz

stop using masterslave_arg to test lua as this binary is gone

lua: inline a function

cosmetics in lua

have the AS factory return the created AS

cosmetics in lua platform creation

let's seal() the AS in lua too

Further cosmetics in the parsing of clusters

- FatTree: rename create_links() into seal() to do the Right Thing
- factorize the explodesRadical() between cluster and cabinet
- other small things

In <cluster>, attributes availability_file and state_file are gone.

It was too complex and unused.

cleanups in the parsing

- no need for xml cbarg initializer as we memset(0) the cbargs
- prepare to factorize host name creation between cluster and cabinet

plug two memleaks

cosmetics in cluster parsing

vivaldi: we are not using euclidean distance, actually

do not create dumb hosts when searching for vivaldi coordinates

Vivaldi: factorize similar code and cosmetics

vivaldi: allow every component to have a private link, not only hosts

Have a decent name for the private hostLinks in clusters

AsVivaldi is an AsCluster because each host as a private link

small cleanups in the <peer> parsing code

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

fix distcheck

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

move one more tracing test

Fix broken build 20551fb51e6144ee0c7942602e4c4a60477ddfc8

This commit fixes compatibility issues with GCC < 5 and older versions of
clang.

The problem (at least with GCC) is/was that they declared the move-constructor
as deleted in GCC < 5. See the bug: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54316

This commit does not return any stringstreams any more but makes use of a
file-wide global variable to use stringstream.

mstorage was never implemented anyway

routing: change an  enum to a class enum

Factorize some code into the netcard constructor

take a bite in the cruft of this code

inline a signal

let lmm_system_free(nullptr) be a noop

let xbt_heap_free(NULL) be a noop

small cleanups here and there

NetworkCste: Kill two methods overriden to the same content

+ rename a field