Update main.mlton for group compilation
Update main.mlton for group compilation

urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,thinkpad20/urweb,urweb/debian-urweb,thinkpad20/urweb,thinkpad20/urweb