Freely available (GPLv3) xml files for the identification of Android devices