adding lock to state when state is restored.
added exact_cover_cxx.py file
added conditional import of exact_cover_cxx;
made minor changes to work with exact_cover_cxx
removed state save on interrupt - overwrites correctly saved restart state for cxx version;