Rename files from EZ to Mini.

	modified:   .gitignore
	modified:   Overview.tex
	deleted:    make-EZDEV
	new file:   make-mini-dev.sh
	renamed:    EZDEV-thumbnail.pdf -> mini-dev-thumbnail.pdf
	renamed:    EZDEV-thumbnail.tex -> mini-dev-thumbnail.tex
	renamed:    EZDEV.gst -> mini-dev.gst
	renamed:    EZDEV.ist -> mini-dev.ist
	renamed:    EZDEV.pdf -> mini-dev.pdf
	renamed:    EZDEV.tex -> mini-dev.tex