Update specification tools docker images name