Removed some obsolete code.

(was associated with the old task elimination algorithm)
Removed associated documentation comments and syntax strings.
Merge pull request #574 from hjoliver/remove-obsolete-task-elimination-code

Removed some obsolete code

Removed code associated with `use quick task elimination`.