Right-angled Artin pro-$p$ groups