Show 'Remove Mod' to JL3.

Initially requested by LGB. However, extended to all sites for
consistency: JL3s can add mods to any hole, so removal of mods seems
symmetrically permitted.

The one expansion of privilege regards removal of early mods on the
mod list. However, I believe this to be minimally destructive because
there is no logic to e.g. delete unmodded holes. Tools that can be
used imprudently, though without catastrophic consequences, are
generally extended to all JL3.

files/classes/user.py

@@ -187,7 +187,7 @@ class User(Base):
 
 	@lazy
 	def mod_date(self, sub):
-		if self.id == AEVANN_ID: return 1
+		if self.admin_level >= 3: return 1
 		mod = g.db.query(Mod).filter_by(user_id=self.id, sub=sub).one_or_none()
 		if not mod: return None
 		return mod.created_utc