Android port: only build for those architectures which have hardware
floating point support.

RHVoice is totally unusable without it, so it should only be possible
to install it on the appropriate hardware. Showing it to users with
other devices will just result in reports of a bug that cannot be fixed.
Android port: provide a separate voice selection dialog for each
installed language.
Introduce so-called voice profiles

Voice profiles are just combinations of voices speaking different
languages. Each of them is treated as a single voice by a client.
RHVoice now can speak Georgian, whose alphabet has no common letters
with either Russian or English. Enumerating all possible combinations of
voices has become impractical. So such voice combinations should now
be listed in the configuration file, if a user wishes to turn on
automatic language switching.