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.