Adding MySQL grader
More abstract configuration key names

- DATABASE -> GRADER_CONFIG
- engine -> grader