add new provo machines
    
    this commit is incomplete (it is just to track names/roles of the
    machines). In reality, there is still no saltmaster in provo, and the
    provo/us/bryce grains are still not supported