I vote for the first and the fourth option. I saw that the latter has more implemented features than on the other project(Based on the topic on SmileBasicSource). The second displays sprites of opengamearts.com so maybe you will get problems to find sprites that match the style of the ones you're using.