Set version to 0.9.0-amplab-3