Fix deprecated references to POLARSSL_CONFIG_OPTIONS
Fix typo in debug_print_msg()
Fix to Coverity config in Travis-CI