Corrected auto tabs.
Tided up pealprover.js and added comments to some functions.
Updated updateLibs.sh script to improve error handling; updated libs.