make incremental+portfolio experimental
prvs commit: lower warning to notice

Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
Fix version identification for new git repository.
Some cleanup and copyright updating

* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
ensureLiteral() a bit earlier in arrays---seems to help some aufbv instances