removed ideas.txt file

The relevant things are implemented; use issue tracker for new
features/issues.