Added note about probsoln to README
Minor updates