JET: Enable search option in documentation generated by Doxygen
JET: Enable search option in documentation generated by Doxygen

Change-Id: Icdc9bb6a7a4dc871487e35bdb9a0f0c7d7fc2968
RTC: 130824
Reviewed-on: http://gfw160.aus.stglabs.ibm.com:8080/gerrit/18720
Tested-by: Jenkins Server
Reviewed-by: Brian Silver <af0eed78d989d9597decc8b92fa6db01ef8b58e0@us.ibm.com>
Reviewed-by: Jennifer A. Stofer <ab93eca12e43608f33daa16a67357cd7b7e867ab@us.ibm.com>

open-power/hostboot,open-power/hostboot,open-power/hostboot,open-power/hostboot,open-power/hostboot