Automatically detect .agda files filetype.