Update manual

[erincatto]

More include file consolidation, simplification. Remove block allocator after testing showed it didn't improve performance but used a lot more memory. Broad-phase mover buffer now using mask bits for faster pair management.