moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms

always use sockets on Windows/Cygwin; discontinued special raw_dump facility;

mira configuration: use official polyml 5.4.1 on lxbroy10

added Term.dummy_pattern conveniences;