android: redesign tab bar
android: redesign title bar
android: introduction of global layout theme
android: layout improvements
android: redesign preferences tab
Merge branch 'master' of ssh://boinc.berkeley.edu/boinc-v2
transitioner: fix bugs when size matching is used.
client: add <client_new_version_text> config option

Lets you customize the notice that's generated when a new client version is available
client: fix build break
fix some Clang warnings; from Steffen Moeller
fix Clang warning
validator: retry if transient failure

check_set() wasn't returning "retry" properly in the case where
one of the calls to init_result() return ERR_OPEN_DIR
(treated as a transient failure, since it can be caused by a failed NFS mount)
client: restore --detach and --detach_console cmdline args

These were mistakenly removed
Unix build: Makefile changes for "make install", from Steffen Moeller

"make install" followed by make_project should now work
client: update notice feeds when detach from account manager
Merge branch 'master' of ssh://boinc.berkeley.edu/boinc-v2
android: fix of previous commit
Merge branch 'master' of ssh://boinc.berkeley.edu/boinc-v2
- SCHED: Modified the SETI@home version of wu_is_infeasible_custom() to allow
  very low angle range (VLAR) results to go to newer AMD/ATI GPUs.
API: tweaks
client: add battery_charge_min_pct preference (currently for Android)
client: get product name in Android

We want to track the product name (e.g. "HTC One X") of Android devices.
On Android, the API to get this is Java,
so we need to do it in the GUI rather than the client.
- Add product_name field to HOST_INFO
- Add a GUI RPC for passing this info from the GUI to the client.
- Store it in client_state.xml, so that the client knows it initially.

The product name is included in scheduler RPC requests, as part of <host_info>.
TODO: add server-side support for parsing it and storing in DB.

Also: move DEVICE_STATUS out of HOST_INFO; it didn't belong there.