__shtoolsoptions: Automatically upgrade old shtools-* syntax
__shtoolsoptions: Automatically upgrade old shtools-* syntax

Change-Id: I4019ec3db3743420e7edc4c905f8439649b29c65
Signed-off-by: Adrian DC <01fb3892f39957945220431e7409156544d2f041@gmail.com>

AdrianDC/android_development_shell_tools,AdrianDC/android_development_shell_tools