Autocomplete for tools

@danmaclean This PR adds autocomplete for tools/extract sequence as well. It also tidies up the form for extracting a sequence.