Tweaked the documentation and nitpicked some code items, including forcing iniitial states to include argc/argv
Tweaked the documentation and nitpicked some code items, including forcing iniitial states to include argc/argv

angr/angr,cureHsu/angr,tyb0807/angr,zhuyue1314/angr,chubbymaggie/angr,terry2012/angr,iamahuman/angr,axt/angr,angr/angr,lowks/angr,schieb/angr,fjferrer/angr,chubbymaggie/angr,iamahuman/angr,mingderwang/angr,avain/angr,axt/angr,cureHsu/angr,axt/angr,xurantju/angr,avain/angr,GuardianRG/angr,xurantju/angr,tyb0807/angr,f-prettyland/angr,schieb/angr,tyb0807/angr,angr/angr,schieb/angr,haylesr/angr,GuardianRG/angr,mingderwang/angr,fjferrer/angr,f-prettyland/angr,haylesr/angr,chubbymaggie/angr,zhuyue1314/angr,f-prettyland/angr,terry2012/angr,iamahuman/angr,lowks/angr