Merge pull request #104 from tarao/update/nscplugin-0.5.4

Update nscplugin, sbt-scala-native to 0.5.4

Merge pull request #68 from tarao/typing-syntax

Provide pretty syntax for generic record typing

Merge pull request #67 from tarao/append-by-refinement

Accept both refinement type and tuple type in  `Append`

Merge pull request #64 from tarao/doc-unnamed-construction

Document for unnamed construction

Merge pull request #61 from tarao/unnamed

Allow unnamed construction if all arguments are identifiers

Simpler given assumptions.

Reformat.

Show badges per platform.

Update site on tag releases.

Link to the guide.