clarified store.clean_output: cleanup user_output_dir even in system_mode;
Notes on building Poly/ML as Isabelle component===============================================* component skeleton: $ isabelle build_polyml_component -s sha1 component* include full source (without symlink), for example: $ wget https://github.com/polyml/polyml/archive/master.zip