whisper.cpp

whisper.android: update example, add field to print timestamp

#2072

Merged