JANITORIAL: Remove now useless SVN tags
JANITORIAL: Split copyright notice and descriptive comment
JANITORIAL: Move copyright notice to a separate file
GIT: Ignore pegasus_save_types executable
GIT: Ignore Mac DS_Store files