[Cryptech Core] upgrade warning for bikeshed.cryptech.is

[Rob Austein]

Server is back, apparently happy.  Some userland upgrades still in
progress but shouldn't be particularly obtrusive (famous last words).