Strip System` prefixes from section name in docs

This hides System` prefixes in the docs, and means that "python
mathics/test.py -s Solve" works again.