WINSETUP: Fix the launch manager and tray functionality at the end of setup. (Applied to WCG.ism)
Android: Add a shall script to build just the BOINC libraries
Android: Make build_libraries.sh executable
- client (Android and other Unix without shmget())
    Don't write spurious messages to stderr about shmem operations
    not being supported.
- remote job submission: bug fixes, and avoid divide by zero
    in adjust_user_priority.  From Niclas Lockner.
MGR: Limit event log to 2000 messages, deleting oldest if necessary
MGR: Limit event log to 2000 messages, deleting oldest if necessary
MGR: Limit event log to 2000 messages, deleting oldest if necessary