update to refer to funsat, and mention profiling binary
update to refer to funsat, and mention profiling binary

dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat