Update the documentation to include a general overview of BDD