eyenfinger: ocrArea parameter added to iRead

ocrArea allows specifying the subarea of the screenshot that should be
read with OCR.
fmbtandroid: optional area parameter added to tapOcrText and verifyOcrText
fmbtandroid: waitOcrText visual logging, screenshot filenames renamed
AAL language block syntax changed to match other blocks

language: python { ... }
    changed to
language "python" { ... }
Merge remote-tracking branch '01/devel'