I think F4 would have been reasonable. Focusing is always though in the dark on a manual lens on the Rokinon. The f1.4 is great but manual focus is pretty tough in the dark. ...
The trick that I've always used to get good infinity focus on (dim) stars is to:
(a) Let the camera sit outside for a half-hour or more, on the tripod, in the same position as where you will take your photo. This is to let it reach a steady temperature, the temperature at which it will take the long exposures needed. The reason for this is that the focus of most cameras changes slightly with temperature changes due to thermal expansion and contraction of the various components in the lens and camera body;
(b) Get a magnifier for the camera's eyepiece and mount it on your camera. Often, a magnifying function is combined with a right-angle viewing adapter which is itself very convenient when you are shooting up at the sky at a steep angle and want to avoid a crick in your neck from trying to position yourself where you can look through the viewfinder.
(c) Even in dark sky locations, you can find usually some bright point source of light on the ground, eg, an outside light on a barn, a window on a distant house. With the lens wide open (ie, f/1.4) use that to focus on. Since it will be brighter than the stars, it should be much easier to focus on than dim stars. It should be at least a 1/4 mile or more away.
(d) Lock the focus by placing a piece of painter's low tack masking tape over the focusing dial, then manually stop down to f/2.8 or f/4, your shooting aperture. To give you an idea of how well this technique works, I've used it on some of my f/1.4 primes, and stopping down to f/2 is all that is necessary to have pin sharp focus, at least in the center of the frame. One will typically need to stop down a bit more to have good edge and corner sharpness.
...What software would you recommend for doing dark-frame cancellation of noise in general....
Most decent quality digital cameras have this function built in. This is, by far, the best way to go. To find out if it is available on your camera, read your instruction manual.
If this option is not available, I would recommend:
https://www.projects-software.com/denoise
https://www.projects-software.com/wp-content/uploads/DENOISE_projects_professional_EN.pdf (page 39)
This is one of the best, general purpose, de-noising software packages currently available. Unfortunately, it is much more difficult to use than more popular and better known de-noising software such as Topaz deNoise. The problem is that these other software packages don't include dark and bright frame corrections, nor are they as good at removing all the different types of noise.
... Also I think I saw tutorials in PS where you could select part of an image with magic wand and bright or overexpose that part of the image, I'm trying to figure that one out.
Yes, this is one of the most basic things that is taught to someone just learning Photoshop. The only problem is that there are many, many different methods to (a) make the selection, and (b) brighten the selected areas depending on whether the darks, mids, or lights should be brightened, what effects it will have on colors, etc. etc. I'm not sure exactly what you want to do with this, but just Google {lighten certain areas photoshop tutorial} and you find lots of discussions of this.
HTH,
Tom M