New species of pygmy gecko discovered