Android port: use a special file for keeping signing-related
properties, which is not tracked by git