Added ajaxselect widget to steps.lemmas; submodule fixes