Rename ArtificialIntelligence/Propositionalizer.cpp to Propositionalizer.cpp