Documentation

ServerlessBench is published in SOCC'20.