Update server OS to list supported platforms (#54)
Update server OS to list supported platforms (#54)


Submitty/submitty.github.io,Submitty/submitty.github.io,Submitty/submitty.github.io,Submitty/submitty.github.io