Pretty-printing of implicit args to (=)
Pretty-printing of implicit args to (=)

Now, the pretty-printer respects the "show implicts" option for
propositional equality. Demo:
```
λΠ> (a : Type) -> (n,m,o : Nat) -> (xs : Vect n a) -> (ys : Vect m a) -> (zs : Vect o a) -> xs ++ (ys ++ zs) = (xs ++ ys) ++ zs
(a : Type) ->
(n : Nat) ->
(m : Nat) ->
(o : Nat) ->
(xs : Vect n a) ->
(ys : Vect m a) -> (zs : Vect o a) -> xs ++ ys ++ zs = (xs ++ ys) ++ zs : Type
λΠ> :set showimplicits
λΠ> (a : Type) -> (n,m,o : Nat) -> (xs : Vect n a) -> (ys : Vect m a) -> (zs : Vect o a) -> xs ++ (ys ++ zs) = (xs ++ ys) ++ zs
(a : Type) ->
(n : Prelude.Nat.Nat) ->
(m : Prelude.Nat.Nat) ->
(o : Prelude.Nat.Nat) ->
(xs : Prelude.Vect.Vect n a) ->
(ys : Prelude.Vect.Vect m a) ->
(zs : Prelude.Vect.Vect o a) ->
(=) {A = Prelude.Vect.Vect (Prelude.Nat.plus n (Prelude.Nat.plus m o)) a}
    {B = Prelude.Vect.Vect (Prelude.Nat.plus (Prelude.Nat.plus n m) o) a}
    (Prelude.Vect.(++) {m = n}
                       {a = a}
                       {n = Prelude.Nat.plus m o}
                       xs
                       (Prelude.Vect.(++) {m = m} {a = a} {n = o} ys zs))
    (Prelude.Vect.(++) {m = Prelude.Nat.plus n m}
                       {a = a}
                       {n = o}
                       (Prelude.Vect.(++) {m = n} {a = a} {n = m} xs ys)
                       zs) : Type
```

This fixes #1410.

Enamex/Idris-dev,rpglover64/Idris-dev,markuspf/Idris-dev,Melvar/Idris-dev,MetaMemoryT/Idris-dev,rpglover64/Idris-dev,douglas-larocca/Idris-dev,bkolad/Idris-dev,simon-bourne/Idris-dev,andyarvanitis/Idris-dev,kojiromike/Idris-dev,stevejb71/Idris-dev,eklavya/Idris-dev,rpglover64/Idris-dev,douglas-larocca/Idris-dev,Heather/Idris-dev,phaazon/Idris-dev,markuspf/Idris-dev,KaneTW/Idris-dev,RossMeikleham/Idris-dev,osa1/Idris-dev,uuhan/Idris-dev,stevejb71/Idris-dev,stevejb71/Idris-dev,bkoropoff/Idris-dev,jeremy-w/Idris-dev,douglas-larocca/Idris-dev,KaneTW/Idris-dev,bkoropoff/Idris-dev,mpkh/Idris-dev,comco/Idris-dev,raichoo/Idris-dev,phaazon/Idris-dev,enolan/Idris-dev,ozgurakgun/Idris-dev,ozgurakgun/Idris-dev,raichoo/Idris-dev,eklavya/Idris-dev,comco/Idris-dev,sdroege/Idris-dev,ben-schulz/Idris-dev,aaronc/Idris-dev,markuspf/Idris-dev,MetaMemoryT/Idris-dev,ozgurakgun/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,rpglover64/Idris-dev,bkoropoff/Idris-dev,Enamex/Idris-dev,mrmonday/Idris-dev,phaazon/Idris-dev,Melvar/Idris-dev,athanclark/Idris-dev,uuhan/Idris-dev,tpsinnem/Idris-dev,TimRichter/Idris-dev,aaronc/Idris-dev,osa1/Idris-dev,MetaMemoryT/Idris-dev,phaazon/Idris-dev,BartAdv/Idris-dev,jeremy-w/Idris-dev,comco/Idris-dev,bravit/Idris-dev,NightRa/Idris-dev,tpsinnem/Idris-dev,douglas-larocca/Idris-dev,enolan/Idris-dev,enolan/Idris-dev,tpsinnem/Idris-dev,BartAdv/Idris-dev,ExNexu/Idris-dev,tpsinnem/Idris-dev,NightRa/Idris-dev,douglas-larocca/Idris-dev,RossMeikleham/Idris-dev,andyarvanitis/Idris-dev,athanclark/Idris-dev,mrmonday/Idris-dev,cbiffle/Idris-dev,athanclark/Idris-dev,mrmonday/Idris-dev,comco/Idris-dev,cbiffle/Idris-dev,Melvar/Idris-dev,sdroege/Idris-dev,Ivanknmk/Idris-dev,simon-bourne/Idris-dev,adnelson/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,Enamex/Idris-dev,shlevy/Idris-dev,eklavya/Idris-dev,uuhan/Idris-dev,raichoo/Idris-dev,comco/Idris-dev,ozgurakgun/Idris-dev,shlevy/Idris-dev,bkolad/Idris-dev,stevejb71/Idris-dev,markuspf/Idris-dev,mrmonday/Idris-dev,ben-schulz/Idris-dev,tpsinnem/Idris-dev,uwap/Idris-dev,markuspf/Idris-dev,RossMeikleham/Idris-dev,shlevy/Idris-dev,KaneTW/Idris-dev,aaronc/Idris-dev,bkolad/Idris-dev,aaronc/Idris-dev,jeremy-w/Idris-dev,phaazon/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,cbiffle/Idris-dev,uwap/Idris-dev,TimRichter/Idris-dev,kojiromike/Idris-dev,cbiffle/Idris-dev,uwap/Idris-dev,Ivanknmk/Idris-dev,ExNexu/Idris-dev,Heather/Idris-dev,TimRichter/Idris-dev,rpglover64/Idris-dev,Heather/Idris-dev,stevejb71/Idris-dev,NightRa/Idris-dev,jmitchell/Idris-dev,eklavya/Idris-dev,cbiffle/Idris-dev,ExNexu/Idris-dev,simon-bourne/Idris-dev,adnelson/Idris-dev,sdroege/Idris-dev,osa1/Idris-dev,KaneTW/Idris-dev,adnelson/Idris-dev,FranklinChen/Idris-dev,ExNexu/Idris-dev,Ivanknmk/Idris-dev,markuspf/Idris-dev,shlevy/Idris-dev,simon-bourne/Idris-dev,aaronc/Idris-dev,mpkh/Idris-dev,comco/Idris-dev,NightRa/Idris-dev,bkolad/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,lenary/Idris-dev,Melvar/Idris-dev,jmitchell/Idris-dev,BartAdv/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,Enamex/Idris-dev,sdroege/Idris-dev,Melvar/Idris-dev,raichoo/Idris-dev,uwap/Idris-dev,ExNexu/Idris-dev,lenary/Idris-dev,lenary/Idris-dev,kojiromike/Idris-dev,Melvar/Idris-dev,osa1/Idris-dev,sdroege/Idris-dev,sdroege/Idris-dev,enolan/Idris-dev,Ivanknmk/Idris-dev,MetaMemoryT/Idris-dev,athanclark/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,bravit/Idris-dev,athanclark/Idris-dev,andyarvanitis/Idris-dev,MetaMemoryT/Idris-dev,andyarvanitis/Idris-dev,lenary/Idris-dev,adnelson/Idris-dev,osa1/Idris-dev,ExNexu/Idris-dev,FranklinChen/Idris-dev,enolan/Idris-dev,andyarvanitis/Idris-dev,raichoo/Idris-dev,mrmonday/Idris-dev,bravit/Idris-dev,phaazon/Idris-dev,TimRichter/Idris-dev,simon-bourne/Idris-dev,Heather/Idris-dev,rpglover64/Idris-dev,bravit/Idris-dev,andyarvanitis/Idris-dev,TimRichter/Idris-dev,Enamex/Idris-dev,uuhan/Idris-dev,shlevy/Idris-dev,ben-schulz/Idris-dev,lenary/Idris-dev,Ivanknmk/Idris-dev,stevejb71/Idris-dev,bkoropoff/Idris-dev,ozgurakgun/Idris-dev,KaneTW/Idris-dev,ben-schulz/Idris-dev,aaronc/Idris-dev,uuhan/Idris-dev,jeremy-w/Idris-dev,osa1/Idris-dev,uuhan/Idris-dev,bkolad/Idris-dev,raichoo/Idris-dev,Enamex/Idris-dev,adnelson/Idris-dev,uwap/Idris-dev,mpkh/Idris-dev,cbiffle/Idris-dev,KaneTW/Idris-dev,BartAdv/Idris-dev,shlevy/Idris-dev,mrmonday/Idris-dev,RossMeikleham/Idris-dev,ozgurakgun/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,NightRa/Idris-dev,FranklinChen/Idris-dev,BartAdv/Idris-dev,jeremy-w/Idris-dev,RossMeikleham/Idris-dev,bkolad/Idris-dev,jmitchell/Idris-dev,Ivanknmk/Idris-dev,BartAdv/Idris-dev,MetaMemoryT/Idris-dev,adnelson/Idris-dev,jeremy-w/Idris-dev,simon-bourne/Idris-dev,ben-schulz/Idris-dev,douglas-larocca/Idris-dev,NightRa/Idris-dev,Heather/Idris-dev,TimRichter/Idris-dev,RossMeikleham/Idris-dev,jmitchell/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,bkoropoff/Idris-dev,jmitchell/Idris-dev,uwap/Idris-dev,enolan/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,lenary/Idris-dev,tpsinnem/Idris-dev,athanclark/Idris-dev,bkoropoff/Idris-dev