Fix/aboutbox

[Pitterling]

update - url, author, license and tips label; make url clickable

[Pitterling]

contribution.md is still missing and should be created before this PR gets merged

fixes #76

[vlsi]

Afaik, it should be CONTRIBUTING.md for proper GitHub integration: https://github.com/blog/1184-contributing-guidelines

[Pitterling]

But this is about "How to contribute " .. that's also missing.

For the moment I was more thinking on a list of contributors... e.g. antlr4 contributors. The current aboutbox just lists Xavier here as author..

[vlsi]

Ah, I get the idea.

CONTRIBUTORS.md might be better filename then.

[Pitterling]

@vlsi hmmm .. seems i somehow screwed the commits within the PR ... don't know if i can revert?

anyhow ... i changed the URL to CONTRIBUTORS.md and provide also the file.

[vlsi]

don't know if i can revert?

The idea is to push the proper changes to your fix/aboutbox branch.
For instance:

git checkout fix/aboutbox
git reset --hard 1bc595853a9b1f0b129b810dd1782d1b7f249cce   #    remove old implementation, delete superfluous classes
git push -f

Does that make sense?

[vlsi]

Note: ensure you have "contributors.md, etc changes" somewhere else before doing reset --hard.
Alternatively you can just add a tag to keep those commits for future reuse:

git checkout fix/aboutbox
git tag before_2017_04_28_aboutbox_reset
git reset --hard 1bc595853a9b1f0b129b810dd1782d1b7f249cce   #    remove old implementation, delete superfluous classes
git push -f

[Pitterling]

tried to rebase .. but it seems it is not a good idea during a PR. Did the reset and pushed the changes again. Please check the CONTRIBUTION.md file --> ok for you?

[Pitterling]

I messed this up. Merging errors .. at least for me unresolvable .. will create a new PR