android: create/clean a temporary directory on startup: directory returned by tempfiles on Android is actually the root directory of the application, so it is not cleaned. To work around that a `/tmp` directory inside it is now created, and cleaned on startup if it already exists.

f95d0c31d45558c7b3e2fc39398f51eb0190bdca 0.7.0a1
4233be74572a1af8eebd502c009a10641c63ca0c 0.7.0a3
5c28cf8815319abd8c963022091cf4726764a3e6 0.7.0b1
51f73d210da908c9fb292e6bd7fda42a9d2b8453 0.7.0