Modified button_stop to enable and disable it in ajax request
Improved taskid management in case the task is cancelled. Avoid error if
there are no tasks running. Fixes #3