add SPT to nav bar
add SPT to nav bar

oskarvanrest/metaborg.github.io,oskarvanrest/metaborg.github.io,oskarvanrest/metaborg.github.io,codeZeilen/metaborg.github.io,codeZeilen/metaborg.github.io,codeZeilen/metaborg.github.io