Improve CI config: list targets, AVDs and devices, and show AVD config