Timsort BM.ships.

This replaces the bubble sort used by sort_ship_list with Python's
built-in sort, Timsort. Bubble sort is O(n^2) worst case, while
timsort is O(n lg n) worst case.

Also, since list.sort() is implemented in C, it should be faster
than the pure-python version of sort_ship_list.