Added unit test.
Fixed sage-shell:development-version.
Modified sage-shell-help:file-type-make-button.
Fix indentation
If a link to a file is pressed in the doc buffer, then it opens a file in
src by default.
Create links to source files in the output if an error is raised.
recenter when visit a file through a button.