Bump version in readme (#36157)

Author: haampie

README.md

@@ -81,7 +81,7 @@ Julia. However, most users should use the most recent stable version
 of Julia. You can get this version by changing to the Julia directory
 and running:
 
-    git checkout v1.3.0
+    git checkout v1.4.2
 
 Now run `make` to build the `julia` executable.