Add option to remove remote dump file after downloading to local

The purpose of this PR is to avoid leaving a bunch of dumps on remote server and hence avoid it running out of space.
I tested in a real project and it worked fine:
![screen](https://cloud.githubusercontent.com/assets/1196663/3130702/eb6ccc30-e7fb-11e3-927f-aed497397a51.png)