Ctrl+tab should switch tab on Firefox 31 - #2959
Compress the debug symbols after building an RPM

Review 2126 by @larkost
Fix for table_create durablity optarg regression #3128
Merge branch 'v1.15.x' into next