Copy how to run instructions from serverify branch.

i.e. here 39427a6b3aa80bb6a1916e1648352b79e6a7c85d