[five-or-more] (40 commits) ...Merged vala port to master (!1)

[Robert Roth <robertroth src gnome org>]

Summary of changes:

  e59a626... Add Vala application window (*)
  98d0720... Add window border (*)
  4301cfe... Add menu and button callbacks (*)
  04ff05e... Add style checker as pre-commit hook (*)
  4785d79... Port preferences dialog to vala (*)
  0895ae6... Port preview widget (*)
  925ed77... Port game to Vala (*)
  c5c16e3... Draw gridlines (*)
  66fa212... Animate clicked shape (*)
  ef43f6d... Split draw callback (*)
  6c0018f... Add headerbar hints (*)
  5267220... Remove debug lines (*)
  585363d... Get theme from settings (*)
  71d5063... Add theme selection (*)
  ae4df68... Simplify category creation and category name retreival (*)
  1fac458... Remove enum value assignment (*)
  80a7bdc... Rework translatable headbar hints (*)
  e7b8690... Use foregtound color for gridlines (*)
  e695fcd... Use CssProvider for background (*)
  747b581... Reduce grid line size to 1 (*)
  288bc9c... Save window dimensions between runs (*)
  b17cac8... Add keyboard controls (*)
  e1023df... Remember last move for keyboard moves (*)
  65017fd... Clean up (*)
  c510a4b... Update help pages information (*)
  fd43f88... Update POTFILES (*)
  a43f236... Drop some n_rows,n_cols parameters (*)
  6ba1f50... Handle inexistent theme (*)
  5d45b87... Fix view when changing theme (*)
  c1ce91b... Remove redundant methods (*)
  ccdd7a7... Add copyright headers for .vala source files (*)
  9dd08e4... Remove move cost constant (*)
  dacbe43... Remove unused debug method in board (*)
  cd6d3fb... Create the CssProvider in the View constructor (*)
  d45ee91... Cleanup background setting function (*)
  e128261... Remove redundant draw_box method (*)
  fc38134... Remove statement brackets (*)
  c82751c... Remove blank line (*)
  525a274... Fix resizing after commit a43f236 (*)
  d1b5833... Merged vala port to master (!1)

(*) This commit already existed in another branch; no separate mail sent