Added commandline options for equelle

- The new syntax for "file as stdin" is
  ./eq -i - < filename.equelle
  or
  cat filename.equelle | ./eq -i -
- This is equivalent to 
  ./eq -i filename.equelle
- Backends are specified by name using the -backend syntax
  ./eq -i filename.equelle -backend cuda
Merge remote-tracking branch 'refs/remotes/origin/master' into
namespaceshake

Conflicts:
	compiler/ec.cpp
Added verbose flag to remove debug output
Added MPI command-line option to the new ec program options machinery.

- Updated CMakeLists.txtfor mpi-calculator to use the new command line
options.
Merge remote-tracking branch 'refs/remotes/origin/master' into namespaceshake