Add tracking external variables.
Merge branch 'master' of github.com:vjovanov/mpde

Conflicts:
	components/framework/src/ch/epfl/lamp/mpde/MPDE.scala
Reformat code.
"Hole" mechanism.
Merge branch 'master' of github.com:vjovanov/mpde