Minor changes 2

Minor changes, as discussed on June 10. Mainly, put more details the
proof of reduction of KP to BKP.
Still need to expand introduction.