add leaves method for Board
enhance Post#format_for_term for unicode
fix handling of non-existing user in login
fix bugs when there is no posts in board
print header in read_board_menu