minor modifications in crawl page
Merge pull request #25 from ContinuumIO/chdoig/crawl-ui

minor modifications in crawl page