Added protocol alteration page, still needs iOS instructions

* Added protocol section to the navbar
* Added new protocol modification guide page (covers server, Android client,
  and VM, but still needs iOS instructions)
* Fixed typo on Android client build page