New documentation page

Also, moved the images to an img folder
Fix bug: option No proxy was broken

The label of the option was used instead of its name.
Use gawk instead of awk

This was used to parse the result of "du" in the calculation of the disk usage
of all the output files. Switching to gawk ensures that we use the right interface