replace reference to libsel4simple-stable with libsel4simple-default as libsel4simple-stable is now deprecated
change copyright headers from NICTA to Data61/CSIRO
[snapshot] RefOS release shapshot v2.0. This is the release snapshot for RefOS v2.0.