Milestone 3: disable running of main() on real threads for non-init domains
Milestone 3: disable running of main() on real threads for non-init domains

jinankjain/barrelfish,razvan9310/barrelfish,jinankjain/barrelfish,razvan9310/barrelfish,jinankjain/barrelfish,jinankjain/barrelfish,jinankjain/barrelfish,razvan9310/barrelfish,razvan9310/barrelfish,razvan9310/barrelfish