format of examples

[Stephen Siegel]

1. Examples should have meaningful names based on name of containing directory---many are still just called "spec.mmp" and "impl.mmp".

2. put left curly brace on same line as function, i.e. main() {

not

main()
{

counting example is one case where this is not right.

3. fatorialSpec has braces on new lines too. Please fix this and other examples where this issue occurs.

[zirkel]

I think these are all fixed, along with other formatting issues. One exception is laplace, because it isn't finished yet.