Update tuf-spec.txt and implement "lazy bin walk"

tuf-spec.txt was updated to include the latest metadata changes, such as version numbers, and the "lazy bin walk" scheme was implemented in updater.py.
Merge branch 'master' of https://github.com/theupdateframework/tuf