Right now Ark's main window is very very tiny when first opened without
any content (e.g. if you just launch the app). This commit fixes that by
giving it a saner default window size.