Resource manager (Batch-queue) plugin update
1. Rename some files
2. Update Copyrights
3. Add PMI library support



git-svn-id: svn://svn.code.sf.net/p/dmtcp/code/trunk@2619 ba6dc0ae-232f-0410-883f-9ebac64fc565