Missing and non-existing tags are now handled

The pages still need some modification though
Fixed the tag lookup form
Improved the bibliography

Now the index works, there is an actual index too, etc.
Adding the black GitHub logo