Build and maintenance scripts for CoreOS