Example of using lettuce to BDD test python code