Provide a quick JS command to jump to a given task.

It provide a way to jump to specified task given by the number of task ID.  By running window.app.taskManager.focusTask(<task ID>) at JS console, the user could jump to a task quickly with a known task ID.  It would be useful for demo and discussion on issue tracker.