Make sure reindent.pl doesn't add tabs.

Also make clear (by a commented-out line) how to eliminate all tabs.
Run config/reindent.pl on files before Mark's changes.

This avoids attributing to Mark changes the script makes to his actual
commits when I use git filter-branch to clean up his branch.
Add interface promise type
Add files for interfaces
Complete references for syntax
Add RIP support examples of routing
Add expandrange function
Connectors for syntax to state
Remove overlay promise type, in favour of reserved array
Consolidate routes promises and flesh out the bodies
Add files
Add files
Renaming routing to networking
Syntax tweaks
Don't forget STP
Bind new promise types
Corrections and debug code for actuation
Save state of mockup
Homing in on the semantics
Implement IP address setting