Remove dump_source from front end.
Merge pull request #2057 from ibuclaw/rmdumpsource

Remove dump_source from front end.