Make Refinements an AtomicRecord so it can be added to by users

Previously Refinements was made Immutable for HPC-GAP, but the
documentation for partition backtrack says it can be added to
by users.

lib/stbcbckt.gi

@@ -1546,7 +1546,7 @@ end );
 ##
 #V  Refinements . . . . . . . . . . . . . . .  record of refinement processes
 ##
-InstallValue( Refinements, rec() );
+InstallValue( Refinements, AtomicRecord() );
 
 #############################################################################
 ##
@@ -1860,12 +1860,6 @@ function( rbase, image, G, f, Q, strat )
 end);
 Refinements.(STBBCKT_STRING_TWOCLOSURE):=Refinements_TwoClosure;
 
-#############################################################################
-##
-## After construction, make Refinements immutable for thread-safety
-##
-MakeImmutable(Refinements);
-
 
 #############################################################################
 ##