To make the sky bluer and brighter, I used Curves (on a duplicate layer) to increase the Blue channel a little. I then used a layer mask to bring the non-sky areas back into the image. I also increased the contrast of the entire image just a tad. Results would be better with a full sized image of course.
