Removed funsat-prof target as hackage won't allow it anymore.
Removed funsat-prof target as hackage won't allow it anymore.

Which is a good excuse to get rid of it.

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