Deal with merge conflicts
Merging
Move UROC to doc
Major cleanup and move old stuff to attic to make room for new stuff
Remove some old documents
Update docs for spacing
Move old stuff to attic for websrv
Update files with newlines
Import the first MiServer checkout
Update the users list
Throw in my websrv.dws
Fix SQL.dyalog for Linux
Get basic authentication working
Get the page looking nicer.
Start an sql script for populating the database
Cream to white for a few things
Add a database restoration script
Update the database layout a bit and include documentation on writing auto-graders
Fix some typos and adjust some column types
Add a logout