Improve print_user_option_list() performance

http://www.mantisbt.org/bugs/view.php?id=17577