Add "run make allcheck" to the instructions for testing an updated frankenserver

Test Plan: None

Auditors: csilvers