Initial SPASS proof parser added