I believe he uses Universe Image Creator. A small program you can get a shareware version of. If I am not mistaken, he is using one of the STAR light features to make the small lights. Do a search for that program, should be easy to find.