Renamed Stream to NetKAT_Stream.
Merge remote-tracking branch 'robertsoule/master'