Ignore Eclispe project and settings files.
Set the plugin version to 0.4 and added axiomsofchoice as developer.
Provided more detail about how to install.