updated documentation (download section) + added sanity check in run_demo&.sh