Updates.

[jfdm]

• Updated gitignore to ignore idrisdoc folder.
• Removed custom unlines as it is now in the prelude.
• Added type in type flag to tests.