doc(server): add FINDG and FINDP documentation, closes #144

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
doc(server): add FINDG and FINDP documentation, closes #144