add pick_star script; add pick_star button to gui; check stars and adjust exposure time automatically; remove a bunch of noisy printfs