Old (1+1) files deleted since proof changed
Added a modeller of (1+1)-EA controlled by greedy Q-learning on OneMax+ZeroMax