¿Es realmente necesaria una mención expresa al antigitanismo en el Código Penal?