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