Prefer company to auto-complete, use prelude-modules

Remove auto-complete code, and adopt company.
Use and track prelude-modules.
Also, remove vestigial org-toodledo code.