[engine] Fix bug in JSON generated for machine statistics.
Merge branch 'master' of https://github.com/ms705/firmament into malte
[engine] Fix dependency typos.
[webui] Add more verbose output to debug resource statistics issue.
[scheduling] Eager scheduling for non-deterministic reference dependencies.
Merge branch 'master' of github.com:ms705/firmament
Merge branch 'master' of https://github.com/ms705/firmament into malte
[build] Add configuration for Ubuntu 14.04.
[scripts] Use correct version of CS2 solver.
[build] Add package list for Ubuntu 14.04.
Merge branch 'master' of https://github.com/ms705/firmament
Merge branch 'master' of https://github.com/ms705/firmament into malte
Ensuring Pion is compiled with the C++11 standard. (Ubuntu 14.04 / Arch Linux fix)