.gitignore trick

Pushed /tmp but not its contents :)
Made already_done a file instead of a list

This way, the submissions that are already done persist between runs.
Also added some docstrings.
Added readme