Ignoring log files and added Alloy models
Added libs
Added sources
Added eclipse files