Explicitly documented format of castling supported by Winboard
This makes obvious that castling is done in #76