Added MiniZinc-sketching
First draft of a score format outline -- to revise
Minor doc edit