All students registered in Devilry

UPDATE: INF4580 is now created in Devilry, so INF4580 shall deliver here instead.

All students should now be registered in Devilry. For technical reasons, everyone is registered for INF3580, so INF4580 shall also deliver their obligs to INF3580 in Devilry (but they are still registered for the course INF4580).