Removing Litmus references
Merge pull request #683 from AndreiH/remove_litmus

Removing Litmus references