Support for Nintendo handhelds DSi and 3DS

Added support for Nintendo handhelds DSi and 3DS / their browsers into user-agent detection; so that they display the mobile theme
Added braces in the new commit (although it was just copied from the other is_xxx() functions and there are no braces in this check elsewhere as well).