Merge pull request #79 from chrox/master

add setIntProperty and setStringProperty methods
factor out mupdf declarations to seperate, autogenerated file
Merge pull request #80 from hwhw/mupdf-ffi

factor out mupdf declarations to seperate, autogenerated file
add cli Google translator forked from soimort/google-translate-cli
It depends on gawk 4.1.0 which is also included in this PR.
Running `./gawk -f translate.awk {=zh+de+ru+ja+fr} "Hello, world."`
on Kindle with Internet access will get:
```
你好，世界。
Hallo, Welt.
Здравствуй, мир.
こんにちは、世界。
Bonjour tout le monde.
```