Replace ornate help separator with more understated line of hyphens.
Replace ornate help separator with more understated line of hyphens.

Fixes #660.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol