Example-related changes

Make them better-aligned and more readable
Add TCP FSM

Unrelated:
Use babel
Use \autoref