Fixed some old code, small improvements.
aleph.py: Added new function download_records().