Uses/cabal.mk: Various improvements.

• Rename CABAL_BOOTSTRAP to SKIP_CABAL_EXTRACT. This is a much more descriptive

name as to what this knob does.

• Improve cabal-extract target to not overwrite WRKDIR and to leave a cookie

file to let framework know if the user is updating the port.