1.0 Beta 2

Gobra-IDE: commit eec2068
Gobra: commit 0867cf3477acc6cb0f0a031329f4c027bb21c012
ViperServer: commit 54e37aac4638af967b99908e9662a088add85aad
Silicon: commit 0964fff490c374f2ab7f2dcff4b19a1d6c05658a
Carbon: commit 3b58d4f688eed1da27edf98d2636780ec2f63c6d
Silver: commit 3f12277a2139f23dbbaacb822f211a254fb9e67f