Add todo into spec.rst
Add check of ROOTDIR is a file, fix a bug in printing progress
Add argument --ignore-error (also update help page