Move real_name to UserProfile;

Delete student_id field;
Mark the problems that have submission;
Alter dispatcher to adapt the changes.

submission/migrations/0006_auto_20170830_1154.py

@@ -0,0 +1,20 @@
+# -*- coding: utf-8 -*-
+# Generated by Django 1.11.4 on 2017-08-30 11:54
+from __future__ import unicode_literals
+
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('submission', '0005_submission_username'),
+    ]
+
+    operations = [
+        migrations.AlterField(
+            model_name='submission',
+            name='result',
+            field=models.IntegerField(db_index=True, default=6),
+        ),
+    ]