Python implementation of a simple internet download manager