create directories in distribution script since git will not track empty directories
in dist script run mvn build and check exit status
add comment explaining multi-SPT visit method
formatting
ignore dist directory
add comments about how visit() works
Merge remote-tracking branch 'upstream/master'