retire Cori

addresses #475 (closed) .

I've started to update https://docs.google.com/spreadsheets/d/1Y9SybqHJnf4_khxm2xpOiiVJXsULUebVq4JfUpfJP1w/ as well.

FYI @helenhe @rjhartmanbaker