added '--use FILENAME' as an optional command line argument to start ML after having done 'use "FILENAME"'. If given multiple --use's then it executes them in order. 
added '--use FILENAME' as an optional command line argument to start ML after having done 'use "FILENAME"'. If given multiple --use's then it executes them in order. 



git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@1290 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

polyml/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml,mn200/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,mn200/polyml,mn200/polyml,polyml/polyml,dcjm/polyml