Revert "Revert "Mark ppx_tools as unavailable on 4.03""

#2804 was merged, so this should be safe again.