Renamed project to stratego-analyze