I see the https:// option when I click the link button with firefox. It might have something to do with the browser your are using (a plugin installed) or your browser settings.
The CKEditor I see on that page is a completely different theme. I don't see the colored buttons and the interface looks completely different. Maybe try refreshing your browser cache.
I added the source option on line 569 of the post_update.php page.