Add some mining software projects to development list
Merge branch 'proj_mining' (fixes #331)