minor: use manifest instead of duke.properties to read version information

+ added /bin to .gitignore

I did not remove duke.properties because StatusServlet uses it but I think it is not correct since the code looks for properties that are not available (eg: duke.check-interval).