fix tests
allow padding in PrintBox
build doc for containers_string; fix upload of docs
change how padding works in PrintBox (now with
horizontal and vertical padding)
example: lambda, that print reduction of random lambda-terms using PrintBox
cosmetic details on trees
merge from master
oasis files