framenet.py: pretty printing and API interface improvements