Update the database layout a bit and include documentation on writing auto-graders