Merge branch 'sprint_develop_28082014' of github.com:nmaguirre/eiffel-2048 into sprint_develop_28082014
Changes in postcondition and Board tests
Merge branch 'sprint_develop_28082014' of github.com:nmaguirre/eiffel-2048 into sprint_develop_28082014